记圆为 $(z - a)(\overline{z} - \overline{a}) = R^2$, 则有

由此可得出 $z^*$ 的表达式:

又由于

所以 $z$ 与 $z^*$ 在 $a$ 的同侧, 且关于圆 $C$ 反演.